spectral theorem